Issue1651.agda:14,1-18
Rewrite rule from function  r  cannot be added before the function definition
when checking the pragma REWRITE r
